Practical Extraction of Evidence Terms From Common-knowledge Reasoning
نویسندگان
چکیده
منابع مشابه
Common Knowledge in Legal Reasoning about Evidence
It is shown how tools of argument analysis currently being developed in artificial intelligence can be applied to legal judgments about evidence based on common knowledge. Chains of reasoning containing generalizations and implicit premises that express common knowledge are modeled using argument diagrams and argumentation schemes. A controversial thesis is argued for. It is the thesis that suc...
متن کاملKnowledge, Practical Reasoning And Action
Is knowledge necessary or sufficient or both necessary and sufficient for acceptable practical reasoning and rational action? Several authors (e.g., Williamson, Hawthorne, and Stanley) have recently argued that the answer to these questions is positive. In this paper I present several objections against this view (both in its basic form as well in more developed forms). I also offer a sketch of...
متن کاملFlexible Extraction of Practical Knowledge from Bridge Databases
Bridge databases contain signiicant information that can assist in future bridge management decisions. The eeective utilization of this information requires facilities for the exible extraction of usable knowledge in the form practitioners can use. We propose machine learning technology as a means to perform this knowledge extraction and to support the maintenance of bridge database information...
متن کاملKnowledge and Reasoning in Practical Dialogue Systems
We describe Scusi?, a spoken language interpretationmechanism designed to be part of a robot-mounted di-alogue system. Scusi?’s interpretation process mapsspoken utterances to text, which in turn is parsed andthen converted to conceptual graphs. In order to sup-port robust and flexible performance of the dialoguemodule, Scusi? maintains multiple options at eachstage ...
متن کاملEvidence-Based Common Knowledge
In this paper we introduce a new type of knowledge operator, called evidencebased knowledge, intended to capture the constructive core of common knowledge. An evidence-based knowledge system is obtained by augmenting a multi-agent logic of knowledge with a system of evidence assertions t :φ (“t is an evidence for φ”) based on the following plausible assumptions: 1) each axiom has evidence; 3) e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2015
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2015.04.009